Koha online

1.
Adapting proofs-as-programs : the Curry-Howard protocol

by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
Place hold
2.
Reverse Engineering of Object Oriented Code

by Potrich, Alessandra | Tonella, Paolo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.117 TON] (1).
Place hold
3.
Selected writings on computing : a personal perspective

by Dijkstra, Edsger W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1982Availability: Items available for loan: [Call number: 001.64 DIJ] (1).
Place hold
4.
Programming Methodology

by Mclver, Annabelle | Morgan, Carroll.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1).
Place hold
5.
Science of programming

by Gries, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1981Availability: Items available for loan: [Call number: 001.642 GRI] (2).
Place hold
6.
Abstraction, Refinement and Proof for Probabilistic Systems

by McIver, Annabelle | Morgan, Carroll.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MCL] (1).
Place hold
7.
Theory of objects

by Abadi, Martin | Cardelli, Luca.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 005.131 ABA] (1).
Place hold
8.
Design and analysis of algorithms

by Kozen, Dexter C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1992Availability: Items available for loan: [Call number: 005.1 KOZ] (1).
Place hold

Powered by Koha